Section: New Software and Platforms

PyEcdar

Participants : Axel Legay [Coordinator] , Louis-Marie Traonouez [Coordinator] .

One of the main difficulties with Systems of Systems is to describe the connection and interactions between the components. We propose PyEcdar as a solution to this problem. PyEcdar (https://project.inria.fr/pyecdar/ ) is a free software that analyses timed games and timed specifications. The goal of the tool is to allow a fast prototyping of new analysis techniques. It currently allows to solve timed games based on timed automata models. These can be extended with adaptive features to represent dynamicity and to model software product lines.

The tool has been originally developed to analyze the robustness of timed specifications, in extension of the tool Ecdar (http://people.cs.aau.dk/~adavid/ecdar/ ). As Ecdar , it allows to compose components specifications based on Timed I/O Automata (TIOA), and it implements timed game algorithms for checking consistency and compatibility. Additionally, it features original methods for checking the robustness of these specifications.

The tool has been later extended to analyse adaptive systems. It therefore implements original algorithms for checking featured timed games against requirements expressed in the timed AdaCTL logic.

The tool is written in Python with around 3'000 lines of code. It uses a Python console as user interface, from which it can load TIOA components from XML files written in the UPPAAL format (http://www.uppaal.org/ ), and design complex system by combining the components using a simple algebra. Then, it can analyze these systems, transform them and save them in a new XML file.